// Copyright (c) 2015 Runtime Verification, Inc. (RV-Match team). All Rights Reserved.

int main() {
  int x[2];
  _Bool b = x + 1 > x;
}
